Перевод: с английского на все языки

со всех языков на английский

explicitly calculable

См. также в других словарях:

  • History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

  • History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

  • Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… …   Wikipedia

  • Postmodernist theory — Lyotard, Baudrillard and others Thomas Docherty INTRODUCTION Philosophy has been touched by postmodernism. Philosophy, in the modern academy, is supposed to be the discipline of disciplines: it is philosophy which will be able to gather together …   History of philosophy

  • KIPPER — (Heb. כִּפֵּר). Etymology The customary rendering of kipper is to atone for, or expiate but in most cases this is, at best, imprecise. In poetry its parallel synonym is maḥah ( to wipe away ; Jer. 18:23), or hesir ( to remove ; Isa. 27:9, cf. the …   Encyclopedia of Judaism

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

  • Bible prophecy — Part of a series on The Bible …   Wikipedia

  • Criticism of the Bible — This article is about criticisms made against the Bible as a source of reliable information or ethical guidance. For the academic treatment of the bible as a historical document, see Biblical criticism. The Gutenberg Bible, the first printed… …   Wikipedia

  • Lazy evaluation — In computer programming, lazy evaluation (or delayed evaluation) is the technique of delaying a computation until such time as the result of the computation is known to be needed.The actions of lazy evaluation include: performance increases due… …   Wikipedia

  • Digital physics — In physics and cosmology, digital physics is a collection of theoretical perspectives based on the premise that the universe is, at heart, describable by information, and is therefore computable. Therefore, the universe can be conceived as either …   Wikipedia

  • International System of Units — SI redirects here. For other uses, see Si (disambiguation). Cover of brochure The International System of Units The International System of Units[1] (abbreviated SI from French: Système international d unités[2]) is the modern …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»